- partial correctness
- частичная правильность
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
partial correctness
Смотреть что такое "partial correctness" в других словарях:
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
partial — 1. adjective a) Existing as a part or portion; incomplete. So far, I have only pieced together a partial account of the incident. b) Describing a property that holds only when an algorithm terminates. Its easy to prove partial correctness, but… … Wiktionary
Hoare logic — (also known as Floyd ndash;Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The purpose of the system is to provide a set of logical rules in… … Wikipedia
Loop variant — In computer science, a loop variant is a mathematical function defined on the state space of a computer program having the property that each iteration of a loop (given its invariant) strictly decreases its value with respect to a well founded… … Wikipedia
Loop invariant — In computer science, a loop invariant is an invariant used to prove properties of loops.Specifically in Floyd Hoare logic, the partial correctness of a while loop is governed by the following rule of inference::frac{{Cland I};mathrm{body};{I… … Wikipedia
LNCS321 — J. Zwiers: Compositionality Concurrency and Partial Correctness, Springer Verlag 1989 … Acronyms
LNCS321 — J. Zwiers: Compositionality Concurrency and Partial Correctness, Springer Verlag 1989 … Acronyms von A bis Z
частичная правильность — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN partial correctness … Справочник технического переводчика
Serializability — In concurrency control of databases,[1][2] transaction processing (transaction management), and various transactional applications (e.g., transactional memory[3] and software transactional memory), both centralized and distributed, a transaction… … Wikipedia
Concurrency control — In information technology and computer science, especially in the fields of computer programming (see also concurrent programming, parallel programming), operating systems (see also parallel computing), multiprocessors, and databases, concurrency … Wikipedia
Global serializability — In concurrency control of databases, transaction processing (transaction management), and other transactional distributed applications, Global serializability (or Modular serializability) is a property of a global schedule of transactions. A… … Wikipedia
